Results for 'Mirjana Kujundžić Tiljak'

96 found
Order:
  1.  24
    Experiences and attitudes of medical professionals on treatment of end-of-life patients in intensive care units in the Republic of Croatia: a cross-sectional study.Ana Borovečki, Dinko Tonković, Andrija Štajduhar, Mirjana Kujundžić Tiljak, Štefan Grosek, Mia Golubić, Bojana Nevajdić, Renata Krobot, Srđan Vranković, Jasminka Kopić, Igor Grubješić, Željko Župan, Krešimir Čaljkušić, Nenad Karanović, Višnja Nesek Adam, Zdravka Poljaković, Radovan Radonić, Tatjana Kereš, Vlasta Merc, Jasminka Peršec, Marinko Vučić & Diana Špoljar - 2022 - BMC Medical Ethics 23 (1):1-13.
    BackgroundDecisions about limitations of life sustaining treatments are made for end-of-life patients in intensive care units. The aim of this research was to explore the professional and ethical attitudes and experiences of medical professionals on treatment of end-of-life patients in ICUs in the Republic of Croatia.MethodsA cross-sectional study was conducted among physicians and nurses working in surgical, medical, neurological, and multidisciplinary ICUs in the total of 9 hospitals throughout Croatia using a questionnaire with closed and open type questions. Exploratory factor (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    Eye’ll Help You Out! How the Gaze Cue Reduces the Cognitive Load Required for Reference Processing.Mirjana Sekicki & Maria Staudte - 2018 - Cognitive Science 42 (8):2418-2458.
    Referential gaze has been shown to benefit language processing in situated communication in terms of shifting visual attention and leading to shorter reaction times on subsequent tasks. The present study simultaneously assessed both visual attention and, importantly, the immediate cognitive load induced at different stages of sentence processing. We aimed to examine the dynamics of combining visual and linguistic information in creating anticipation for a specific object and the effect this has on language processing. We report evidence from three visual‐world (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  32
    Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
    The well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  27
    The subformula property of natural deduction derivations and analytic cuts.Mirjana Borisavljević - forthcoming - Logic Journal of the IGPL.
    In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{J}$ and $\mathcal{L}\mathcal{J}$ will be connected by the map $g$, and it will be proved the following: an $\mathcal{N}\mathcal{J}$-derivation is normal $\Longleftrightarrow $ it has the subformula property based on trails $\Longleftrightarrow $ its $g$-image in $\mathcal{L}\mathcal{J}$ is without maximum cuts $\Longrightarrow $ that $g$-image has the subformula property based (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Political speeches and persuasive argumentation.Mirjana N. Dedaić - 2005 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier. pp. 9--700.
     
    Export citation  
     
    Bookmark   2 citations  
  6.  76
    The role of variation in thought experiments.Nebojsa Kujundzic - 1998 - International Studies in the Philosophy of Science 12 (3):239 – 243.
    The main concern of this paper is to show that understanding mental variation may prove to be relevant to inquiry into thought experiments. First, I examine why Ernst Mach considered the ability to vary the contents of one's thoughts the principal requirement for thought experimentation. Second, I illustrate the wide applicability of mental variation in thought experiments. Third, I suggest, following Kathleen Wilkes, that variation is frequently employed in “realistic” thought experiments.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  18
    Two measures for proving Gentzen's Hauptsatz without mix.Mirjana Borisavljević - 2003 - Archive for Mathematical Logic 42 (4):371-387.
    This paper presents a cut-elimination procedure for classical and intuitionistic logic, in which cut is eliminated directly, without introducing the mix rule. The well-known problem of cut eliminations, when in the derivation the contractions of the cut-formulae are above the premisses of the cut, will be solved by new transformations of the derivation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  7
    ‘Settled in Mobility’: Engendering Post-Wall Migration in Europe.Mirjana Morokvasic - 2004 - Feminist Review 77 (1):7-25.
    The end of the bi-polar world and the collapse of communist regimes triggered an unprecedented mobility of people and heralded a new phase in European migrations. Eastern Europeans were now not only ‘free to leave’ to the West but more exactly ‘free to leave and to come back’. In this text I will focus on gendered transnational, cross-border practices and capabilities of Central and Eastern Europeans on the move, who use their spatial mobility to adapt to the new context of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  5
    An Analysis of Antifeminism in the Work of Philosopher Gordana Bosanac.Mirjana Adamović - 2022 - Filozofska Istrazivanja 42 (3):443-449.
    This paper discusses the classification of antifeminism presented in the book The High Forehead by the philosopher Gordana Bosanac. In this book, which is entirely dedicated to antifeminism, Gordana Bosanac points out the connection between feminism and antifeminism, where antifeminism is determined by the conservative reception of feminist values and the reaction of basically primitive consciousness. Bosanac determines feminism to be a humanistic and the broadest democratic movement based on tolerance but also on broader world ideas aiming at peace and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  36
    Staging the life-world: Habermas and the recuperation of Austin's speech act theory.Nebojsa Kujundzic, William Buschert, Nebojsa Kujundzic & William Buschert - 1993 - Journal for the Theory of Social Behaviour 23 (1):105–116.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    The Power of Abstraction.Neb Kujundzic - 2012 - Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 16 (2):191-200.
    A quick look into the index of Brentano’s Psychology from an Empirical Standpoint reveals that all references to “abstract terms” occur only in the appendix (taken from Brentano’s “Nachlass” essays). What should we make of this? Was it the case that the inquiry into abstract, as well as non-existent, objects came as an afterthought to Brentano? Or was he all too aware of the consequences of such investigations? Furthermore, was it largely the absence of such inquirythat prompted Husserl and his (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Political culture as a factor in understanding social change (The example of the disintegration of Yugoslavia).Mirjana S. Radojčić - 1996 - Filozofija I Društvo 1996 (9):185-192.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  18
    Interests versus morality in politics.Mirjana S. Radojčić - 2002 - Filozofija I Društvo 2002 (19):117-135.
    U radu na ovom individualnom projektu bice razmatran odnos interesa i morala u politici s posebnim osvrtom na proces razbijanja Jugoslavije i projekat globalizacije. Osnovna istrazivacka hipoteza koja se u radu nastoji potvrditi jeste da je remoralizacija svetske politike kojom su se na retorickom nivou legitimisali pomenuti procesi ostala na nivou na kojem se i zacela, odnosno da su u odnosima politickih aktera na globalnom, bas kao i na lokalnom nivou, i dalje na snazi moderni principi real-politike sa interesom kao (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  25
    A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
    A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents from [11], which will have the following characteristics: (1) these conversions will be sufficient for transforming a derivation into a cut-free one, and (2) in the natural deduction the image of each of these conversions will be either in the set of conversions for normalization procedure, or an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  33
    An Inquiry into Mental Variation.Nebojsa Kujundzic - unknown
    Although there are both common and specialised senses of the term variation, there seems to be no well defined use of this term in philosophy. The main task of my thesis is to demonstrate that variation can be defined as a cognitive technique. I suggest that variation has been frequently used by philosophers, although not always in an overt manner. Moreover, I attempt to show that it is reasonable to talk about the relative importance of variation by examining the role (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  26
    How Does the Laboratory of the Mind Work?Nebojsa Kujundzic - 1993 - Dialogue 32 (3):573-.
    The Laboratory of the Mindwas written with two purposes in mind. The first was to contribute to the growing literature on thought experiments with a selection of the most interesting examples of the genre. The second and much more ambitious purpose was to serve as a “first attempt at a rationalist interpretation of science”.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  42
    The Power of Abstraction: Brentano, Husserl and the Göttingen Students.Neb Kujundzic - 2012 - Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 16 (2):191-200.
    A quick look into the index of Brentano’s Psychology from an Empirical Standpoint reveals that all references to “abstract terms” occur only in the appendix (taken from Brentano’s “Nachlass” essays). What should we make of this? Was it the case that the inquiry into abstract, as well as non-existent, objects came as an afterthought to Brentano? Or was he all too aware of the consequences of such investigations? Furthermore, was it largely the absence of such inquirythat prompted Husserl and his (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  1
    EU humanists: person of dialogue, person of the year.Mirjana Nazor (ed.) - 2014 - Split: Man above All--EU Humanists.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  33
    Serbia in the processes of European integrations: Between traumatic experience and real politic necessity.Mirjana Radojicic - 2006 - Filozofija I Društvo 2006 (30):135-148.
    The article contains an explanation of the topic to be dealt with by the author in the next research cycle. In the first part of the article author try to identify the main obstacles facing Serbia in the imperative processes of its European integrations. According to the author, those obstacles are numerous and mostly unique, based on the fact that in the last decade Serbian people was a subject of complete state disintegration to which the most powerful external contribution was (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    An Analysis of the Rules of Gentzen’s _Nj__ and __Lj_.Mirjana Borisavljević - 2018 - Review of Symbolic Logic 11 (2):347-370.
    The connection between the rules and derivations of Gentzen’s calculiNJandLJwill be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimination, from Zucker (1974) and Urban (2014), will be given.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  23
    Non-governmental organizations and politics of interpretation of South-Slavic’s recent past.Mirjana Radojicic - 2005 - Filozofija I Društvo 2005 (27):109-125.
    In the text the author considers politics of interpretation of South-Slavic peoples' recent past, which was demonstrated by the most prominent activists of Serbian non-governmental organizations. By summarizing the interpretation in a few points, the author attempts to identify its key features: arrogance and extremism as a style, counter factuality as a strategy and anti-Serbian nationalism and racism as an ideological strongpoint. In the final section of the text, what is pleaded is a precise legal regulation of that delicate area (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  13
    An alternative Gentzenisation of RW+∘.Mirjana Ilić - 2016 - Mathematical Logic Quarterly 62 (6):465-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  23
    A Cut-Elimination Proof in Positive Relevant Logic with Necessity.Mirjana Ilić - 2020 - Studia Logica 109 (3):607-638.
    This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Instruments and the body: Sartre and Merleau-ponty.Nebojsa Kujundzic & William Buschert - 1994 - Research in Phenomenology 24 (1):206-215.
    We argue that no sharp boundary can be drawn between the ``authentic'' human body and its instruments. In contrast to some other theorists of the continental canon--notably Heidegger and the Frankfurt school--Sartre and Merleau-Ponty can be read as asserting that the body (transitively) ``lives'' its instruments, weaving with them an intricate web of habitual actions and experiences. For Merleau-Ponty especially, the human body and its instruments are capable of complementing, supplementing, and melting into one another.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  62
    Compatible statistical interpretation of a wave packet.Mirjana Božić & Zvonko Marić - 1995 - Foundations of Physics 25 (1):159-173.
    A compatible statistical interpretation of a wave packet is proposed. De Broglian probabilities which unite wave and particle features of quantons are evaluated for free wave packets and Jor a superposition of wave packets. The obtained expressions provide a very plausible and physically appealing explanation of coherence in apparently incoherent beams and of the characteristic modulation of the momentum distribution, found recently in neutron interferometry combined with spectral filtering. Certain conclusions about dualism and objectivity in quantum domain are also derived.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  47
    Quantum Interference, Quantum Theory of Measurement, and (In)completeness of Quantum Mechanics.Mirjana Božić & Zvonko Marić - 1998 - Foundations of Physics 28 (3):415-427.
    The new techniques and ideas in quantum interferometry with neutrons, photons, atoms, electrons, and Bose condensates that fluorished in the last two decades have influenced in a decisive way the thinking and the research in the foundations and interpretation of quantum mechanics. The controversies existing among different schools on the reality of matter waves of quantum theory, the postulates of quantum measurement theory, and the (in)completeness of quantum mechanics have to be approached now in a new way. Our argumentation follows (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  14
    A note on the system GRW with the intensional contraction rule.Mirjana Ilić & Branislav Boričić - 2021 - Logic Journal of the IGPL 29 (3):333-339.
    In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. John Bruin, Homo Interrogans: Questioning and the Intentional Structure of Cognition.Nebojsa Kujundzic - 2002 - Philosophy in Review 22 (4):254-255.
     
    Export citation  
     
    Bookmark  
  29. Roy Sorenson, Thought Experiments Reviewed by.Nebojsa Kujundzic - 1994 - Philosophy in Review 14 (1):47-49.
     
    Export citation  
     
    Bookmark  
  30.  12
    Nevladine organizacije i politika interpretiranja novije južnoslovenske prošlosti.Mirjana Radojičić - 2005 - Filozofija I Društvo 2005 (27):109-125.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  5
    Fortress Europe and Migrant Women.Mirjana Morokvasic - 1991 - Feminist Review 39 (1):69-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  4
    Die Rezeption Friedrich Nietzsches in der kroatischen Literatur um die Jahrhundertwende.Mirjana Stančić - 1993 - Bochum: N. Brockmeyer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Leksikon srpskog prosvetiteljstva.Mirjana D. Stefanović - 2009 - Beograd: Službeni Glasnik.
  34.  17
    Thought Experiments: Architecture and Economy of Thought.Nebojsa Kujundzic - 1995 - Journal of the British Society for Phenomenology 26 (1):86-93.
  35.  38
    A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
    In this paper we give a new proof of cut elimination in Gentzen's sequent system for intuitionistic first-order predicate logic. The point of this proof is that the elimination procedure eliminates the cut rule itself, rather than the mix rule.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  21
    An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
    A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
    In our paper [3], a sequent system for the contraction‐less positive relevant logic with co‐tenability,, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut‐elimination theorem some forms of proofs, which may cause difficulties for the cut‐elimination argument, are not considered. The purpose of this paper is to present them and to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  14
    “Herzallerliebstes helenchen”. Mileva Einsteins briefe an helene savić.Mirjana Ilić & Andreas Kleinert - 2003 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 11 (1):29-33.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  35
    "Nothing, Nothing, Nothing": Dostoevsky and Existentialism.Dragan Kujundžić - 2021 - Labyrinth: An International Journal for Philosophy, Value Theory and Sociocultural Hermeneutics 23 (1):20-38.
    The paper attempts to situate the work of Fyodor Dostoevsky in the tradition of Russian existentialism, and to indicate his influence on the subsequent development of existentialism in its ontological or ethical guise. In fact, Dostoevsky may be seen as the originator of a tradition which will later on influence and be taken up, via Nietzsche and Shestov, by the figures like Emanuel Levinas, Albert Camus or Maurice Blanchot, all explicitly concerned with existentialist questions of debt, guilt or suicide. Dostoevsky's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Glocalisation, VEmpire, and the melancholia of the sovereign.D. Kujundzic - 2005 - Filozofski Vestnik 26 (1):135-152.
  41.  28
    Mr. Crusoe is Angry.Nebojsa Kujundzic - 1993 - Grazer Philosophische Studien 45 (1):65-74.
    The paper examines the reasons for which Camap's and Fodor's theory are considered inadequate by Hilary Putnam in his book Representation and Reality, Putnam deconstmcts his earlier functionalist position and finds himself able to say many things about what language is not and very few about what it is, and, metaphorically speaking, puts human society in an Augustinian position regarding language. As well, this paper investigates whether Putnam's "internal realism" encourages the possible appearence of a new breed of analytic philosophers (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Mr. Crusoe is Angry.Nebojsa Kujundzic - 1993 - Grazer Philosophische Studien 45 (1):65-74.
    The paper examines the reasons for which Camap's and Fodor's theory are considered inadequate by Hilary Putnam in his book Representation and Reality, Putnam deconstmcts his earlier functionalist position and finds himself able to say many things about what language is not and very few about what it is, and, metaphorically speaking, puts human society in an Augustinian position regarding language. As well, this paper investigates whether Putnam's "internal realism" encourages the possible appearence of a new breed of analytic philosophers (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  34
    Reinach, Material Necessity, and Free Variation.Nebojsa Kujundzic - 1997 - Dialogue 36 (4):721-.
    RésuméJ'examine dans cet article une notion assez spéciale de nécessité, celle de la nécessité matérielle, introduite explicitement pour la première fois par Adolf Reinach. Je soutiens que la variation libre joue un rôle important dans la découverte et la description de la nécessité matérielle et j'explore également quelques questions apparentées ayant trait à la présentation et à la signification, à la théorie des actes de discours, ainsi qu'à la qualité et à la matière de la présentation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Virtual reality and metastable interactivity.Nebojsa Kujundzic - 2001 - Ends and Means 5 (1):25.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Die Rezeption Arthur Schopenhauers in der kroatischen Literatur und Philosophie.C. Mirjana Stanci - 1994 - Wiesbaden: Harrassowitz.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  3
    Pink.Glitter.Violence. (Creative Intervention).Mirjana Mitrović - 2023 - Studies in Social Justice 17 (2):259-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    Educating about biomedical research ethics.Bratislav Stankovic & Mirjana Stankovic - 2014 - Medicine, Health Care and Philosophy 17 (4):541-548.
    This article examines the global and worsening problem of research misconduct as it relates to bio-medico-legal education. While research misconduct has serious legal implications, few adequate legal remedies exist to deal with it. With respect to teaching, research ethics education should be mandatory for biomedical students and physicians. Although teaching alone will not prevent misconduct, it promotes integrity, accountability, and responsibility in research. Policies and law enforcement should send a clear message that researchers should adhere to the highest standards of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  15
    Globalization, values, interests.Mirjana S. Radojičić - 2003 - Filozofija I Društvo 2003 (22):133-148.
    U tekstu se razmatra priroda medjunarodnih odnosa i medjunarodne politike kakva se uoblicava nakon kraja Hladnog rata, politike ciji pravac u preteznoj meri odredjuju SAD kao jedina preostala super-sila. Namera autora je da ukaze na kljucne tacke divergencije moralno-vrednosne retorike i spoljno-politicke pragmatike ove mega-drzave. U tom smislu, razmatraju se slucajevi americkog stava, odnosno aktivnog tretmana dva dogadjaja koji su u politicko-bezbednosnom pogledu obelezili proteklu deceniju u svetsko-istorijskim razmerama - raspad/razbijanje Jugoslavije i kriza u Persijskom zalivu. Zakljucak autorke je da (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  8
    Critical Reflection: A Textbook for Critical Thinking.Malcolm Murray & Nebojsa Kujundzic - 2005 - McGill-Queen's Press - MQUP.
    In an era of information overload, our need to learn how to critically evaluate the growing flood of information has never been greater. Critical Reflection showcases the role of reason in a world saturated by media-enhanced persuasion and complex scientific and technological jargon.Drawing from the classic philosophical texts, this engaging textbook on the art of analyzing arguments is also relevant to today's undergraduates in its use of real-life examples and exercises drawn mainly from media and politics. Malcolm Murray and Nebojsa (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  12
    The Elimination of Maximum Cuts in Linear Logic and BCK Logic.Mirjana Borisavljevic - 2023 - Studia Logica 111 (3):391-429.
    In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum segments from natural deduction derivations, will be presented.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 96